Engelsch bombardement van de Philipsfabrieken te Eindhoven op 6 December 1942 Engelsch bombardement van de Philipsfabrieken te Eindhoven op 6 December 1942 Engelsch bombardement van de Philipsfabrieken te Eindhoven op 6 December 1942